loc{-}on{-}path(${\it es}$;$i$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($i$ $\in$ map($\lambda$$e$.loc($e$);$L$))